$\forall$${\it the\_w}$:World, $x$:Id, $e$:E. ($x$ when $e$) $\in$ vartype(loc($e$);$x$)